/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package chameleon.model.transitionFormat;

import java.io.File;

/**
 *  This class is a general declaration to represent transition. Note that these
 * kind of classes don't have specific behavior, it's just a wrapper to the input.
 * The different objects are indentify by @model.game.Tag.java .
 * @author simon
 */
public abstract class AbstractTransition {
    int tag_;

    public AbstractTransition(int tag){
        tag_=tag;
    }

    public abstract File getFile();
    public abstract String getSmvTransition();

    public int getTag(){return tag_;}
}
